منابع مشابه
20 Y M M S
Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior. In this paper, we explain the nature and utility of such specifications, relate them to other formalisms, showcase some of their established applications, and mention some existing tool support. We also present some recent complexity results for decision problems underlying such applications an...
متن کاملM M O-b D S
We propose an alternative characterisation of object-based distributed systems in terms of algebraic structures and topological spaces. Some examples are given in order to attest the adequacy of this approach to the subject. We also illustrate a method of transference of results from these mathematical theories that can further contribute to the advancement of distributed systems theory.
متن کاملQuasimodular Forms and S(m|m) ∧ Characters
In this paper, we establish automorphic properties and asymptotic behaviors of characters due to Kac–Wakimoto pertaining to s (m|n)∧ highest weight modules in the case m = n, extending work of Bringmann and Ono (Math Ann 345:547–558, 2009) and Bringmann and Folsom (submitted) which pertains to the case m > n.
متن کاملM . B . B . S . , M . a .
The authors review extant research on threats, approaches, attacks, and assassinations of public figures in the United States. Despite the limited number of studies, data exist concerning: 1) threatening letters and approaches to celebrities; 2) attacks and assassinations of public figures, usually the President of the United States; 3) threats and approaches to legislative members of state and...
متن کاملS Tructured M Atrices in Fpga S
Recurrent Neural Networks (RNNs) are becoming increasingly important for time series-related applications which require efficient and real-time implementations. The recent pruning based work ESE (Han et al., 2017) suffers from degradation of performance/energy efficiency due to the irregular network structure after pruning. We propose block-circulant matrices for weight matrix representation in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tidsskrift for Den norske legeforening
سال: 2017
ISSN: 0029-2001
DOI: 10.4045/tidsskr.17.0450